منابع مشابه
Explorer Pervasive Process Calculus
Process calculi with various signatures and reaction rules may provide a theoretical basis for pervasive computing.
متن کاملExplorer Pervasive Process
Process calculi with various signatures and reaction rules may provide a theoretical basis for pervasive computing.
متن کاملA Logical Process Calculus
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, kPC extends Milner's Calculus of Conmmnicating Systems with operators fl'om the alternation free linear time p calculus (kT#). Semantically, kPC is equipped with a behavioral preorder that generalizes ...
متن کاملA Dendroidal Process Calculus
The Dendroidal Process Calculus (DPC) is designed as a new theory for modeling concurrent and distributed computations and systems, equipped with a non-sequential and compositional semantics. In this theory, a parallel composition is parameterized by a graph at the vertices of which subprocesses are located. Communication is allowed only between subprocesses related by an edge in this graph. Mo...
متن کاملA QoS-aware Process Calculus?
The definition of suitable abstractions and models for identifying, understanding and managing Quality of Service (QoS) constraints is a challenging issue of the Service Oriented Computing paradigm. In this paper we introduce a process calculus where QoS attributes are first class objects. We identify a minimal set of primitives that allow capturing in an abstract way the ability to control and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.12.112